Видео с ютуба Orcid: 0000-0003-0607-4257

ORCID Guide HowTo 2021

ORCID профиль, проверьте дубликаты

Can Microtask Programming Work in Industry? (Teaser, ESEC/FSE 2020)

Can Microtask Programming Work in Industry? (Video, ESEC/FSE 2020)

ORCID for Researchers Discovery Made Easy and Open

[MPLR23] Heap Size Adjustment with CPU Control

ORCID

[OOPSLA24] PROMPT: A Fast and Extensible Memory Profiling Framework

Как зарегистрироваться в ORCID, пять шагов. Регистрация в 2024 году

[OOPSLA24] TorchQL: A Programming Framework for Integrity Constraints in Machine Learning

[SLE23] Adaptive Structural Operational Semantics

How to Create your ORCID ID

Integrating ORCID iD into Research Funding Organizations´ Systems (EN), 2024-06-14

[OOPSLA24] Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization

[OOPSLA23] Towards Better Semantics Exploration for Browser Fuzzing

[PLDI'23] PureCake: A Verified Compiler for a Lazy Functional Language

[POPL'25] TensorRight: Automated Verification of Tensor Graph Rewrites

ORCiD Profiles